Luke Ong (eds.): ძიება ვებგვერდზე Z-Library

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

Don't use scam websites

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Adam Brandenburger, H. Jerome Keisler (auth.), Bob Coecke, Luke Ong, Prakash Panangaden (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 15.28 MB

0 / 5.0

english, 2013

2

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Alexandre Miquel (auth.), Luke Ong (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 3.78 MB

0 / 0

english, 2011

3

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Maarten Marx (auth.), Luke Ong (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 4.78 MB

0 / 0

english, 2005

4

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), Luke Ong (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 4.67 MB

0 / 0

english, 2010

5

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), Luke Ong (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 5.96 MB

0 / 5.0

english, 2010

6

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 3.74 MB

0 / 0

english, 2012

7

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Adam Brandenburger, H. Jerome Keisler (auth.), Bob Coecke, Luke Ong, Prakash Panangaden (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 13.86 MB

0 / 0

english, 2013

8

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings

Springer International Publishing

Zhenhua Duan, Luke Ong (eds.)

წელი:

2017

ენა:

english

ფაილი:

PDF, 20.06 MB

0 / 0

english, 2017

9

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 3.72 MB

0 / 0

english, 2012

10

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), Luke Ong (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 4.57 MB

0 / 0

english, 2010

11

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Alexandre Miquel (auth.), Luke Ong (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 3.10 MB

0 / 0

english, 2011

12

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Alexandre Miquel (auth.), Luke Ong (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 2.41 MB

0 / 0

english, 2011

13

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008

D. Giammarresi, A. Restivo (auth.), Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 9.36 MB

0 / 0

english, 2008

14

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Maarten Marx (auth.), Luke Ong (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 5.51 MB

0 / 0

english, 2005